comparing logical conditional forms